Us Government Declares The Safest Programming Language